Leonid Libkin is a computer scientist who works in data management, in particular in

database theory Database theory encapsulates a broad range of topics related to the study and research of the theoretical realm of databases and database management systems. Theoretical aspects of data management include, among other areas, the foundations of q ...

, and in

logic in computer science Logic in computer science covers the overlap between the field of logic and that of computer science. The topic can essentially be divided into three main areas: * Theoretical foundations and analysis * Use of computer technology to aid logicians ...

. Libkin is a professor at the

University of Edinburgh The University of Edinburgh ( sco, University o Edinburgh, gd, Oilthigh Dhùn Èideann; abbreviated as ''Edin.'' in post-nominals) is a public research university based in Edinburgh, Scotland. Granted a royal charter by King James VI in 15 ...

, where he is chair of Foundations of Data Management in the School of Informatics, and at the

École Normale Supérieure École may refer to: * an elementary school in the French educational stages normally followed by secondary education establishments (collège and lycée) * École (river), a tributary of the Seine flowing in région Île-de-France * École, S ...

in Paris. He previously worked at the

University of Toronto The University of Toronto (UToronto or U of T) is a public university, public research university in Toronto, Ontario, Canada, located on the grounds that surround Queen's Park (Toronto), Queen's Park. It was founded by royal charter in 1827 ...

, and at

Bell Labs Nokia Bell Labs, originally named Bell Telephone Laboratories (1925–1984), then AT&T Bell Laboratories (1984–1996) and Bell Labs Innovations (1996–2007), is an American industrial Research and development, research and scientific developm ...

. Libkin is the author of standard textbooks on finite model theory and on

data exchange Data exchange is the process of taking data structured under a ''source'' schema and transforming it into a ''target'' schema, so that the target data is an accurate representation of the source data.A. Doan, A. Halevy, and Z. Ives.Principles of da ...

. He is an

ACM Fellow ACM or A.C.M. may refer to: Aviation * AGM-129 ACM, 1990–2012 USAF cruise missile * Air chief marshal * Air combat manoeuvring or dogfighting * Air cycle machine * Arica Airport (Colombia) (IATA: ACM), in Arica, Amazonas, Colombia Computing * ...

, a Fellow of the Royal Society of Edinburgh, and a member of Academia Europaea. He won best paper awards at the

Symposium on Principles of Database Systems The ACM Symposium on Principles of Database Systems (PODS) is an international research conference on database theory, and has been held yearly since 1982. It is sponsored by three Association for Computing Machinery The Association for Comp ...

(ACM PODS) in 1999, 2003, and 2005, at

International Conference on Database Theory The International Conference on Database Theory (ICDT) is an international research conference on foundations of database theory, and has been held since 1986. It is frequently also called the PODS of Europe. Since 2009, ICDT has been held joint ...

(ICDT) in 2011, at the Principles of Knowledge Representation and Reasoning Conference in 2014 and 2018., and at the ACM

SIGMOD SIGMOD is the Association for Computing Machinery's Special Interest Group on Management of Data, which specializes in large-scale data management problems and databases. The annual ACM SIGMOD Conference, which began in 1975, is considered one of ...

Conference (industry track) in 2023.https://sigmod.org/sigmod-awards/sigmod-best-paper-award/

Books

* *

References

External links

* Year of birth missing (living people) Living people Fellows of the Association for Computing Machinery American computer scientists Academics of the University of Edinburgh University of Pennsylvania alumni Royal Society Wolfson Research Merit Award holders {{compu-scientist-stub